

t_sum :: [Int] -> Int

t_sum [] = 0
t_sum (x:xs) = x + t_sum xs
